mining/extraction industry - Allemand Anglais Dictionnaire